differentiation from first principles of sinx